Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs
| Title | Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs |
| Publication Type | Journal Article |
| Authors | Meheus, J, Provijn, D |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-431158 |
|---|---|
| Download PDF |
 (Author PDF) |
UGent Biblio Link:
PDF author (public):