155949

References

Ruth Manor

Solving the heap

2006

Synthese 153/2

Open Access Link