An automated analogue of the one-way Miller-type avoidance box

Abstract
No abstract available