Encoding logical constraints into neural network cost functions. - Douglas A. Thomae; David E. van den Bout (IJCNN, 1990)