François Bry Rainer Manthey Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. 205-216 1995 WLP db/conf/wlp/wlp95.html#BryM95