Jaan Penjam, Elena Sanko. Deductive and Inductive Methods for Program Synthesis. In Walter Dosch, Roger Y. Lee, editors, Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany. pages 188-195, ACIS, 2003.
Abstract is missing.