Stefan Kahrs The Variable Containment Problem. 109-123 1995 conf/hoa/1995 HOA db/conf/hoa/hoa95.html#Kahrs95