1. Increasing the efficiency of automated theorem proving;Aguilera;J. Appl. Non-Class. Log.,1995
2. A reduction-based theorem prover for 3-valued logic;Aguilera;Mathw. Soft Comput.,1997
3. Reducing signed propositional formulas;Aguilera;Soft Comput.,1998
4. Reductions for non-clausal theorem proving;Aguilera;Theor. Comput. Sci.,2001
5. A complete calculus for possibilistic logic programming with fuzzy propositional variables;Alsinet,2000