Karl Klose, Klaus Ostermann
Modular logic metaprogramming
OOPSLA, 2010.
@inproceedings{OOPSLA-2010-KloseO, author = "Karl Klose and Klaus Ostermann", booktitle = "{Proceedings of the 25th Conference on Object-Oriented Programming, Systems, Languages and Applications}", doi = "10.1145/1869459.1869499", editor = "William R. Cook and Siobhán Clarke and Martin C. Rinard", isbn = "978-1-4503-0203-6", pages = "484--503", publisher = "{ACM}", title = "{Modular logic metaprogramming}", year = 2010, }