P84-1006 in press ) , then an efficient polynomial time induction algorithm exists . To summarize
hide detail