Rational Reasoning with Finite Conditional Knowledge Bases: Theoretical and Implementational Aspects