Konstantin Korovin, Stephan Schulz, Eugenia Ternovska, editors, IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. Volume 22 of EPiC Series, EasyChair, 2013. [doi]
Conference: lpar2013
@proceedings{lpar-2012iwil,
title = {IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012},
year = {2013},
url = {http://www.easychair.org/publications/?page=1941569411},
researchr = {https://researchr.org/publication/lpar-2012iwil},
cites = {0},
citedby = {0},
booktitle = {IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012},
conference = {lpar},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
volume = {22},
series = {EPiC Series},
publisher = {EasyChair},
}