Towards concurrent resource managed deduction (1999)

by C Benzmüller, M Jamnik, M Kerber, V Sorge