Simultaneous construction of refutations and models for propositional formulas /
Allen Van Gelder

APA Citation

Van Gelder, A., University of California, S. Cruz. Computer Research Laboratory. (1995). Simultaneous construction of refutations and models for propositional formulas. Santa Cruz, CA (Applied Sciences Bldg., University of California, Santa Cruz, Santa Cruz 95064): Computer Research Laboratory, [University of California, Santa Cruz.

MLA Citation

Van Gelder, Allen, and Santa Cruz. Computer Research Laboratory University of California. Simultaneous Construction of Refutations And Models for Propositional Formulas. Santa Cruz, CA (Applied Sciences Bldg., University of California, Santa Cruz, Santa Cruz 95064): Computer Research Laboratory, [University of California, Santa Cruz, 1995.