book-chapter · 2000Abduction in Labelled Deductive Systems6 citationsDOI: https://doi.org/10.1007/978-94-017-1733-5_3