%0 Conference Paper %1 conf/cade/BieberCH88 %A Bieber, Pierre %A del Cerro, Luis Fariñas %A Herzig, Andreas %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 762-763 %T MOLOG: a Modal PROLOG. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#BieberCH88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/BieberCH88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bieber, Pierre and del Cerro, Luis Fariñas and Herzig, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/265ec463e8d6f9cd851a4831491cc6e65/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012886}, interhash = {046682c782ac7c71572ed83a3828f08e}, intrahash = {65ec463e8d6f9cd851a4831491cc6e65}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {762-763}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:05.000+0200}, title = {MOLOG: a Modal PROLOG.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#BieberCH88}, volume = 310, year = 1988 }