L. A. Zadeh, “Pruf and its application to inference from fuzzy propositions”, in Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications, 1977 IEEE Conference on, Dec 1977, pp. 1359-1360. doi: https://doi.org/10.1109/CDC.1977.271515