{"languages": [{"key": "/l/eng"}], "subtitle": "Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain- (Lecture Notes in Control and Information Sciences)", "last_modified": {"type": "/type/datetime", "value": "2008-04-29 13:35:46.87638"}, "publishers": ["Springer"], "number_of_pages": 245, "isbn_13": ["9780387198644"], "isbn_10": ["0387198644"], "publish_date": "January 1994", "key": "/b/OL7444289M", "authors": [{"key": "/a/OL1006050A"}], "title": "Logic Program Synthesis and Transformation", "type": {"key": "/type/edition"}, "id": 10136465, "revision": 1}