A Deductive System for FO(ID) Based on Least Fixpoint Logic.

Ping Hou, Marc Denecker

Browse the full LPNMR paper archive.