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,
}











