H. Ito H. Ueno ZERO: Frame + Prolog. 78-89 1985 conf/lp/1985 LP db/conf/lp/lp85.html#ItoU85 http://dx.doi.org/10.1007/3-540-16479-0_8