Deciding the Word Problem in the Union of Equational Theories (2001)

by Franz Baader , Cesare Tinelli
Citations:26 - 8 self