Vol-4227⫷ Vol-4228 ⫸Vol-4229
urn:nbn:de:0074-4228-0


Vol-4228/abstract6⫷Vol-4228/short1⫸Vol-4228/paper1
Fabian AchammerStefan Hetzl

An Algorithm for Existential Boolean Unification with Predicates (Extended Abstract)