LIPIcs, Volume 7, ICLP'10, Complete Volume [article]

Manuel Hermenegildo, Torsten Schaub
2013
LIPIcs, Volume 7, ICLP'10, Complete Volume
doi:10.4230/lipics.iclp.2010 fatcat:j7jd7dpsffbs7plm5qa6qi2wem