Specification of logic programming languages from reusable semantic building blocks
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Ano de publicación: 2002
Volume: 64
Páxinas: 220-233
Tipo: Achega congreso