Wyniki wyszukiwania
Programming and Computer Software > 2018 > 44 > 1 > 51-61
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Theoretical Computer Science > 2008 > 409 > 1 > 41-58
Annals of Pure and Applied Logic > 2003 > 124 > 1-3 > 49-70