Edinburgh Research Explorer

A General Setting for Flexibly Combining and Augmenting Decision Procedures

Research output: Contribution to journalArticle

Standard

A General Setting for Flexibly Combining and Augmenting Decision Procedures. / Janicic, Predrag; Bundy, Alan.

In: Journal of Automated Reasoning, Vol. 28, No. 3, 01.2002, p. 257-305.

Research output: Contribution to journalArticle

Harvard

Janicic, P & Bundy, A 2002, 'A General Setting for Flexibly Combining and Augmenting Decision Procedures', Journal of Automated Reasoning, vol. 28, no. 3, pp. 257-305. https://doi.org/10.1023/A:1015707001763

APA

Janicic, P., & Bundy, A. (2002). A General Setting for Flexibly Combining and Augmenting Decision Procedures. Journal of Automated Reasoning, 28(3), 257-305. https://doi.org/10.1023/A:1015707001763

Vancouver

Janicic P, Bundy A. A General Setting for Flexibly Combining and Augmenting Decision Procedures. Journal of Automated Reasoning. 2002 Jan;28(3):257-305. https://doi.org/10.1023/A:1015707001763

Author

Janicic, Predrag ; Bundy, Alan. / A General Setting for Flexibly Combining and Augmenting Decision Procedures. In: Journal of Automated Reasoning. 2002 ; Vol. 28, No. 3. pp. 257-305.