1
by Maher, Michael
Published 1996
MIT
...Joint International Conference and Symposium on Logic Programming (1996, Bonn, Germany)...