SAT Encoding of Unification in

Franz Baader, Barbara Morawska

Browse the full LPAR paper archive.