%0 Conference Paper %1 conf/lopstr/LauO03 %A Lau, Kung-Kiu %A Ornaghi, Mario %B LOPSTR %D 2003 %E Bruynooghe, Maurice %I Springer %K dblp %P 34-53 %T Correct OO Systems in Computational Logic. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2003.html#LauO03 %V 3018 %@ 3-540-22174-3

@inproceedings{conf/lopstr/LauO03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Lau, Kung-Kiu and Ornaghi, Mario}, biburl = {https://www.bibsonomy.org/bibtex/2b02cfd39895aaeb48a54e3c9ce2935d8/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2003}, editor = {Bruynooghe, Maurice}, ee = {https://doi.org/10.1007/978-3-540-25938-1_3}, interhash = {250cb502ed2d429a3f906fc6a86555aa}, intrahash = {b02cfd39895aaeb48a54e3c9ce2935d8}, isbn = {3-540-22174-3}, keywords = {dblp}, pages = {34-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:29.000+0200}, title = {Correct OO Systems in Computational Logic.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2003.html#LauO03}, volume = 3018, year = 2003 }