Multi-paradigm Logic Programming in the

Theresa Swift, Michael Kifer

Browse the full LPNMR paper archive.