Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister
Tipo de Documento
Proceedings Paper
Year published
1996
Publicado
in Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743