CDCL-based abstract state transition system for coherent logic

MLA

Mladen Nikolić, and Predrag Janičić. CDCL-Based Abstract State Transition System for Coherent Logic. Jan. 2012. EBSCOhost, https://doi.org/10.1007/978-3-642-31374-5_18.

APA

Mladen Nikolić, & Predrag Janičić. (2012). CDCL-based abstract state transition system for coherent logic. https://doi.org/10.1007/978-3-642-31374-5_18

Chicago

Mladen Nikolić, and Predrag Janičić. 2012. “CDCL-Based Abstract State Transition System for Coherent Logic,” January. doi:10.1007/978-3-642-31374-5_18.