%0 Conference Paper %1 conf/stacs/DenisD91 %A Denis, François %A Delahaye, Jean-Paul %B STACS %D 1991 %E Choffrut, Christian %E Jantzen, Matthias %I Springer %K dblp %P 511-522 %T Unfolding, Procedural and Fixpoint Semantics of Logic Programs. %U http://dblp.uni-trier.de/db/conf/stacs/stacs91.html#DenisD91 %V 480 %@ 3-540-53709-0

@inproceedings{conf/stacs/DenisD91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Denis, François and Delahaye, Jean-Paul}, biburl = {https://www.bibsonomy.org/bibtex/224bf09a8b70893e4b3bbc6af2814ca3f/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1991}, editor = {Choffrut, Christian and Jantzen, Matthias}, ee = {https://doi.org/10.1007/BFb0020825}, interhash = {3708dd6bd0fc6e571959085955cfa778}, intrahash = {24bf09a8b70893e4b3bbc6af2814ca3f}, isbn = {3-540-53709-0}, keywords = {dblp}, pages = {511-522}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:19.000+0200}, title = {Unfolding, Procedural and Fixpoint Semantics of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs91.html#DenisD91}, volume = 480, year = 1991 }