Towards Concurrent Resource Managed Deduction (1999)

by Christoph Benzmüller , Mateja Jamnik , Manfred Kerber , Volker Sorge
Venue:UNIVERSITY OF BIRMINGHAM, SCHOOL OF COMPUTER SCIENCE. URL
Citations:3 - 2 self