Basic Forward Chaining Construction for Logic Programs.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Browse the full LFCS paper archive.