A decision procedure for the existence of a rank function.

James Heather Steve Schneider A decision procedure for the existence of a rank function. 317-344 2005 13 Journal of Computer Security 2 db/journals/jcs/jcs13.html#HeatherS05