Field Editor: S. Parker We investigate the role of health insurance coverage in explaining transitions in and out of entrepreneurship in the U.S. We first consider the effect of individual coverage, along with that from a spouse, on the likelihood of entry and exit. Next, we examine the tax deductions granted to the self-employed through amendments made to the 1986 Tax Reform Act. Using the Cur...

We propose a path-based framework for deriving and simplifying source-tracking information for first-order term unification in the empty theory. Such a framework is useful for diagnosing unification-based systems, including debugging of type errors in programs and the generation of success and failure proofs in logic programming. The objects of source-tracking are deductions in the logic of ter...

We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugging unification-based systems, including the diagnosis of ill-typed programs and the generation of success and failure proofs in logic programming. The objects of source-tracking are deductions in the logic of unifica...

This paper proposes an administrative system for health insurance tax credits for workers that would be efficient and effective. It features payroll deductions and automatic enrollment, which are proven methods to yield high enrollments at low cost.

Autonomous programmable computing devices made of biomolecules could interact with a biological environment and be used in future biological and medical applications. Biomolecular implementations of finite automata and logic gates have already been developed. Here, we report an autonomous programmable molecular system based on the manipulation of DNA strands that is capable of performing simple...