The University of Warwick Library - WebBridge

NP-completeness of a combinator optimisation problem
Joy, Mike.  Notre Dame Journal of Formal Logic.  v. Volume 36. no. Number 2.   1995. p. 319 - 335... issn: 0029-4527 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.