Equational Logic and Theories of Action.

Steffen Hölldobler Equational Logic and Theories of Action. 111-126 1996 conf/agp/1996 APPIA-GULP-PRODE db/conf/agp/agp1996.html#Holldobler96