@Article{Tronci1995,
author="Tronci, Enrico",
title="Defining Data Structures via B{\~A}{\textparagraph}hm-Out",
journal="J. Funct. Program.",
year="1995",
volume="5",
number="1",
pages="51--64",
abstract="We show that any recursively enumerable subset of a data structure can be regarded as the solution set to a B??hm-out problem.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=57), last updated on Sat, 24 Nov 2012 14:33:44 +0100",
doi="10.1017/S0956796800001234",
opturl="https://doi.org/10.1017/S0956796800001234"
}