Stefania Costantini Gaetano Aurelio Lanzarone On Procedural Semantics of Metalevel Negation. 140-151 1991 conf/lpar/1991 RCLP db/conf/lpar/lpar90.html#CostantiniL91 http://dx.doi.org/10.1007/3-540-55460-2_10