Amtoft T, Consel C, Danvy O, Malmkjær K. The Abstraction and Instantiation of String-Matching Programs. BRICS [Internet]. 2001 Apr. 12 [cited 2024 Apr. 23];8(12). Available from: https://tidsskrift.dk/brics/article/view/20469