Alwen Tiu
Stratification in Logics of Definitions
IJCAR, 2012.
@inproceedings{IJCAR-2012-Tiu, author = "Alwen Tiu", booktitle = "{Proceedings of the Sixth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-642-31365-3_43", isbn = "978-3-642-31364-6", pages = "544--558", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Stratification in Logics of Definitions}", volume = 7364, year = 2012, }