%0 Journal Article %1 journals/tplp/JansenJJ13 %A Jansen, Joachim %A Jorissen, Albert %A Janssens, Gerda %D 2013 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 691-704 %T Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. %U http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#JansenJJ13 %V 13

@article{journals/tplp/JansenJJ13, added-at = {2020-02-13T00:00:00.000+0100}, author = {Jansen, Joachim and Jorissen, Albert and Janssens, Gerda}, biburl = {https://www.bibsonomy.org/bibtex/2dd94195bda44875dfe786dbb664398d4/dblp}, ee = {https://doi.org/10.1017/S1471068413000434}, interhash = {7b36070604ea54e7f348a757778656e7}, intrahash = {dd94195bda44875dfe786dbb664398d4}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {691-704}, timestamp = {2020-02-14T11:43:18.000+0100}, title = {Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#JansenJJ13}, volume = 13, year = 2013 }