Extending Homeomorphic Embedding in the Context of Logic Programming (1997)

by Michael Leuschel
Venue:Departement Computerwetenschappen
Citations:2 - 1 self