Some heuristics cannot be derived from relaxed models (abstract only). - Marco Valtorta; M. Ishaq Zahid (ACM Conference on Computer Science, 1991)