TY  - BOOK
TI  - Using Logic in the Search for Supreme Values
N1  - -; -
ER  -