Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. - Joachim Jansen; Albert Jorissen; Gerda Janssens (Theory Pract. Log. Program., 2013)