Published in
Journal: ACM Transactions on Computational Logic | Journal year: 2014 | Journal volume: vol. 15
Number
iss. 4
Date of publication
2014