Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42 - Kamath, Anil; Motwani, Rajeev; Palem, Krishna (Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών, 1993)
υπάρχει άλλο ένα αντίτυπο