Artur Czumaj, Christian Sohler. Abstract Combinatorial Programs and Efficient Property Testers. In 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings. pages 83-92, IEEE Computer Society, 2002. [doi]
Abstract is missing.