Obvious Properties of Computer Programs

Robert Givan. Obvious Properties of Computer Programs. In AAAI/IAAI. pages 404-410, 1997.

Abstract

Abstract is missing.