Reasoning with Logic Programming
- Editors
Book
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1111)