Search results
IEEE Transactions on Software Engineering > 2014 > 40 > 8 > 795 - 817
Journal of Logic and Algebraic Programming > 2012 > 81 > 4 > 458-490
Computational and Mathematical Organization Theory > 2006 > 12 > 2-3 > 205-225
IEEE Transactions on Software Engineering > 2014 > 40 > 8 > 795 - 817
Journal of Logic and Algebraic Programming > 2012 > 81 > 4 > 458-490
Computational and Mathematical Organization Theory > 2006 > 12 > 2-3 > 205-225