%0 Conference Paper %1 conf/sas/DenisD91 %A Denis, François %A Delahaye, Jean-Paul %B JTASPEFT/WSA %D 1991 %E Billaud, Michel %E Castéran, Pierre %E Corsini, Marc-Michel %E Musumbu, Kaninda %E Rauzy, Antoine %I Atelier Irisa, IRISA, Campus de Beaulieu %K dblp %P 157-164 %T Unfolding, Procedural and Fixpoint Semantics of Logic Programs. %U http://dblp.uni-trier.de/db/conf/sas/wsa91.html#DenisD91 %V 74

@inproceedings{conf/sas/DenisD91, added-at = {2015-09-02T00:00:00.000+0200}, author = {Denis, François and Delahaye, Jean-Paul}, biburl = {https://www.bibsonomy.org/bibtex/252cef96607b7a3098147b70a9c49e38c/dblp}, booktitle = {JTASPEFT/WSA}, crossref = {conf/sas/1991}, editor = {Billaud, Michel and Castéran, Pierre and Corsini, Marc-Michel and Musumbu, Kaninda and Rauzy, Antoine}, interhash = {3708dd6bd0fc6e571959085955cfa778}, intrahash = {52cef96607b7a3098147b70a9c49e38c}, keywords = {dblp}, pages = {157-164}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, series = {Series Bigre}, timestamp = {2018-07-18T11:43:07.000+0200}, title = {Unfolding, Procedural and Fixpoint Semantics of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/sas/wsa91.html#DenisD91}, volume = 74, year = 1991 }