"A Sufficient Completeness Checker for Linear Order-Sorted Specifications ..."

Joe Hendrix, José Meseguer, Hitoshi Ohsaki (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics