%0 Conference Paper %1 conf/agp/LauO97 %A Lau, Kung-Kiu %A Ornaghi, Mario %B APPIA-GULP-PRODE %D 1997 %E Falaschi, Moreno %E Navarro, Marisa %E Policriti, Alberto %K dblp %P 433-444 %T On the Relationship between Logic Programs and Specifications. %U http://dblp.uni-trier.de/db/conf/agp/agp1997.html#LauO97

@inproceedings{conf/agp/LauO97, added-at = {2004-12-02T00:00:00.000+0100}, author = {Lau, Kung-Kiu and Ornaghi, Mario}, biburl = {https://www.bibsonomy.org/bibtex/224961a1f316fdb2a1c18c5876260a7b2/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1997}, date = {2004-12-02}, description = {dblp}, editor = {Falaschi, Moreno and Navarro, Marisa and Policriti, Alberto}, interhash = {bcc2ea0e025715dce751ac4069b1e990}, intrahash = {24961a1f316fdb2a1c18c5876260a7b2}, keywords = {dblp}, pages = {433-444}, timestamp = {2004-12-02T00:00:00.000+0100}, title = {On the Relationship between Logic Programs and Specifications.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1997.html#LauO97}, year = 1997 }