Term Equational Systems and Logics (Extended Abstract)

by Marcelo Fiore , Chung-kil Hur
Citations:2 - 0 self