"An Experimental Comparison Regarding the Completeness of Functional ..."

Igor Menzel et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics