The solution for some logical problems of defined relations /
Osman, I. M.
IBM United Kingdom.Scientific Centre.
Peterlee : IBM United Kingdom Limited, UK Scientific Centre,
1978.
"UKSC-0094."