Peter Schachte Sequence Quantification. 128-144 2003 conf/padl/2003 PADL http://link.springer.de/link/service/series/0558/bibs/2562/25620128.htm db/conf/padl/padl2003.html#Schachte03