Cita APA (7a ed.)

Castaño, J., & Castaño, R. Variable and clause ordering in an FSA approach to propositional satisfiability.

Cita Chicago Style (17a ed.)

Castaño, J.M, y R. Castaño. Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability.

Cita MLA (8a ed.)

Castaño, J.M, y R. Castaño. Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability.