The Logic of Procedural Readings
Silvija Seres‚ Michael Spivey and Tony Hoare
Note
LaTeXed submission to FLOPS'99; eventually appeared as ‘Functional Reading of Logic Programs'‚ Seres and Spivey‚ J.UCS 6(4) (2000)‚ doi 10.3217/jucs−006−04−0433
Year
1999