Bidirectional Approximate Reasoning Research Articles