An Efficient Compiler for the IDP-Z3 Knowledge Base System.

Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers

Browse the full PADL paper archive.