Termination Checker and Knuth-Bendix Completion Tools for Maude Equational Specifications (2000)

by Francisco Durán , Speci Cations
Citations:8 - 1 self