M. Rodriguez Artalejo · 4 obras en el catálogoObrasAlgebraic and logic programmingAAlgebraic and logic programmingAlgebraic and logic programmingAutomata, Languages and ProgrammingLLogic Colloquium '87Logic Colloquium '87