%0 Conference Paper %1 conf/fossacs/ArruabarrenaLN99 %A Arruabarrena, R. %A Lucio, Paqui %A Navarro, Marisa %B FoSSaCS %D 1999 %E Thomas, Wolfgang %I Springer %K dblp %P 56-72 %T A Strong Logic Programming View for Static Embedded Implications. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#ArruabarrenaLN99 %V 1578 %@ 3-540-65719-3

@inproceedings{conf/fossacs/ArruabarrenaLN99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Arruabarrena, R. and Lucio, Paqui and Navarro, Marisa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2012f4deb577afe4b2c13f071eb5983f9/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/1999}, editor = {Thomas, Wolfgang}, ee = {https://doi.org/10.1007/3-540-49019-1_5}, interhash = {232f4ead53f1ec1f7c5c55fd3ce47a53}, intrahash = {012f4deb577afe4b2c13f071eb5983f9}, isbn = {3-540-65719-3}, keywords = {dblp}, pages = {56-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:51.000+0200}, title = {A Strong Logic Programming View for Static Embedded Implications.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#ArruabarrenaLN99}, volume = 1578, year = 1999 }