|Automated reasoning: introduction and applications|
L Wos, R Overbeck, E Lusk, J Boyle
Prentice Hall Inc., Old Tappan, NJ, 1984
|Portable programs for parallel processors|
E Lusk, J Boyle, R Butler, T Disz, B Glickfeld, R Overbeek, J Patterson, ...
Holt, Rinehart & Winston, 1988
|Inorganic geochemical methods in palaeolimnology|
Tracking environmental change using lake sediments, 83-141, 2002
|Marketing of agricultural products|
The American Economic Review 11 (2), 207-213, 1921
|Rapid elemental analysis of sediment samples by isotope source XRF|
Journal of Paleolimnology 23 (2), 213-221, 2000
|Using multiple archives to understand past and present climate–human–environment interactions: the lake Erhai catchment, Yunnan Province, China|
JA Dearing, RT Jones, J Shen, X Yang, JF Boyle, GC Foster, DS Crook, ...
Journal of Paleolimnology 40 (1), 3-31, 2008
|Detecting atmospheric pollution in surface soils using magnetic measurements: a reappraisal using an England and Wales database|
A Blundell, JA Hannam, JA Dearing, JF Boyle
Environmental Pollution 157 (10), 2878-2890, 2009
|Atmospheric deposition of phosphorus to land and freshwater|
E Tipping, S Benham, JF Boyle, P Crow, J Davies, U Fischer, H Guyatt, ...
Environmental Science: Processes & Impacts 16 (7), 1608-1617, 2014
|Pb isotope ratios of lake sediments in West Greenland: inferences on pollution sources|
R Bindler, I Renberg, NJ Anderson, PG Appleby, O Emteryd, J Boyle
Atmospheric Environment 35 (27), 4675-4685, 2001
|Late Pleistocene and Holocene drought events at Lake Tana, the source of the Blue Nile|
MH Marshall, HF Lamb, D Huws, SJ Davies, R Bates, J Bloemendal, ...
Global and Planetary Change 78 (3-4), 147-161, 2011
|Controlling factors for the spatial variability of soil magnetic susceptibility across England and Wales|
A Blundell, JA Dearing, JF Boyle, JA Hannam
Earth-Science Reviews 95 (3-4), 158-188, 2009
|Mercury and lead budgets for Lochnagar, a Scottish mountain lake and its catchment|
H Yang, NL Rose, RW Battarbee, JF Boyle
Environmental science & technology 36 (7), 1383-1388, 2002
|Lake-sediment evidence for local and remote sources of atmospherically deposited pollutants on Svalbard|
NL Rose, CL Rose, JF Boyle, PG Appleby
Journal of Paleolimnology 31 (4), 499-513, 2004
|Sedimentary evidence for changes in the pollution status of Taihu in the Jiangsu region of eastern China|
NL Rose, JF Boyle, Y Du, C Yi, X Dai, PG Appleby, H Bennion, S Cai, ...
Journal of Paleolimnology 32 (1), 41-51, 2004
|Association between magnetic properties and element concentrations of Liverpool street dust and its implications|
S Xie, JA Dearing, JF Boyle, J Bloemendal, AP Morse
Journal of Applied Geophysics 48 (2), 83-92, 2001
|The late-Holocene history of Gormire Lake (NE England) and its catchment: a multiproxy reconstruction of past human impact|
F Oldfield, R Wake, J Boyle, R Jones, S Nolan, Z Gibbs, P Appleby, ...
The Holocene 13 (5), 677-690, 2003
|Diatom succession trends in recent sediments from Lake Baikal and their relation to atmospheric pollution and to climate change|
AW Mackay, RJ Flower, AE Kuzmina, LZ Granina, NL Rose, PG Appleby, ...
Philosophical Transactions of the Royal Society of London. Series B …, 1998
|Sediment heavy metal record in Lake Baikal: natural and antrhopogenic sources|
JF Boyle, AW Mackay, NL Rose, RJ Flower, PG Appleby
Journal of Paleolimnology 20 (2), 135-150, 1998
|Redox remobilization and the heavy metal record in lake sediments: a modelling approach|
Journal of Paleolimnology 26 (4), 423-431, 2001
|Gas seep induced interstitial water circulation: observations and environmental implications|
SCM O'hara, PR Dando, U Schuster, A Bennis, JD Boyle, FTW Chui, ...
Continental Shelf Research 15 (8), 931-948, 1995