"An Inference-Rule-Based Decision Procedure for Verification of ..."

Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics