Author: Minn.) Institute of Applied Logic (Saint Paul