Forward Chaining for Hybrid ASP.

Alex Brik, Jeffrey B. Remmel

Browse the full LFCS paper archive.