LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

No queries for www.cs.man.ac.uk/~kung-kiu/lopstr