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

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