Previous: ii, Up: Predicate Rules


6.3.9 Identity Elimination