David A. Basin Building Theories in Nuprl. 12-25 1989 conf/ershov/1989 Logic at Botik db/conf/ershov/botik1989.html#Basin89 http://dx.doi.org/10.1007/3-540-51237-3_3