%0 Journal Article %1 journals/ndjfl/PollardM94 %A Pollard, Stephen %A Martin, Norman M. %D 1994 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 108-115 %T Contractions of Closure Systems. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#PollardM94 %V 35

@article{journals/ndjfl/PollardM94, added-at = {2020-05-21T00:00:00.000+0200}, author = {Pollard, Stephen and Martin, Norman M.}, biburl = {https://www.bibsonomy.org/bibtex/2eaae5035bf7b18fa96eeb50ae66a7f10/dblp}, ee = {https://doi.org/10.1305/ndjfl/1040609298}, interhash = {b96505ca5f8f464400b2e0996a5cc96a}, intrahash = {eaae5035bf7b18fa96eeb50ae66a7f10}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {108-115}, timestamp = {2020-05-23T12:16:16.000+0200}, title = {Contractions of Closure Systems.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#PollardM94}, volume = 35, year = 1994 }