Adiabatic Quantum-flux-parametron Logic Research Articles