David J. Cook

  joint publications with Jon C. Clare

Publications

a service of Schloss Dagstuhl - Leibniz Center for Informatics