Autori: Bundy Alan
| Naslov | A general setting for flexibly combining and augmenting decision procedures (Article) |
| Autori | Janicic Predrag Bundy Alan |
| Info | JOURNAL OF AUTOMATED REASONING, (2002), vol. 28 br. 3, str. 257-305 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
