Rohit Parikh Knowledge Based Computation (Extended Abstract). 127-132 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#Parikh95