Finding Finite Herbrand Models.

Stefan Borgwardt, Barbara Morawska

Browse the full LPAR paper archive.