A Logic Programming and Verification System for Recursive Quantificational Logic.

Frank M. Brown, Peiya Liu

Browse the full IJCAI paper archive.