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

30

click to vote

more LPNMR 2009 ...

lirias.kuleuven.be

Tweet