Decidability of Existence and Construction of a Complement of a given   Function
  This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement. 
Ka.Shrinivaasan
cs.LO