David A. McAllester Prakash Panangaden Vasant Shanbhogue 377-386 conf/focs/FOCS29 1988 FOCS db/conf/focs/focs88.html#McAllesterPS88