Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.

Paul Fodor

Browse the full AAAI paper archive.