ACM Transactions on Computational Logic

Journal Article

J.E. Santo

L. Pinto

Publication

Year of publication: 2011

Volume: 12

Issue: 3

Identifiers

Other: 2-s2.0-79956067809

Locators

DOI: 10.1145/1929954.1929959

Alternative Titles