JTMS and Logic Programming.

Gerhard Brewka, David Makinson, Karl Schlechta

Browse the full LPNMR paper archive.