Recognizing read-once functions from depth-three formulasдоклад на конференции